Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• Timed automaton
• Probability and statistics
• Probability
• Approximation algorithms
• Computational complexity theory

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

Characterization of TCC on Chip-Multiprocessors Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom Lance Hammond, Christos Kozyrakis, Kunle Olukotun Computer Systems Laboratory Stanford Unive

Source URL: www.austenmcdonald.com

• Computing
• Concurrent computing
• Cache coherency
• Computer architecture
• Transaction processing
• Cache
• Parallel computing
• Concurrency control
• CPU cache
• MESI protocol
• Cache coherence
• Victim cache

On The Impossibility Of Robust Solutions For Fair Resource Allocation Rajeev Joshi , Jayadev Misra Department of Computer Sciences, The University of Texas at Austin

Source URL: rjoshi.org

• Computability theory
• Functions and mappings

Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Software engineering
• Formal methods
• Theoretical computer science
• Software quality
• Computing
• PRISM model checker
• Model checking
• Formal verification
• Markov chain
• Stochastic
• Reliability engineering

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

Source URL: web.engr.illinois.edu

• Mathematical software
• Application software
• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Discrete mathematics
• Verification
• Quantifier elimination
• Formal verification
• Model checking
• Computer science

die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club Biometrie zum Anfassen.

Source URL: ds.ccc.de

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: www.prismmodelchecker.org

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Graph theory
• Stochastic game
• Probabilistic automaton
• Game theory
• Markov chain
• Determinacy
• Strategy
• Markov decision process

Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study

Source URL: eta.impa.br

• Machine learning
• Learning
• Artificial intelligence
• Applied mathematics
• Artificial neural network
• Outline of machine learning
• Supervised learning
• Regularization
• Empirical risk minimization
• Backpropagation
• Poisson regression
• Parametric model

SkypeMorph: Protocol Obfuscation for Tor Bridges∗ Hooman Mohajeri Moghaddam Baiyu Li Mohammad Derakhshani Ian Goldberg Cheriton School of Computer Science

Source URL: crysp.uwaterloo.ca

• Computing
• Software
• Computer architecture
• Skype
• Videotelephony
• Cryptographic protocols
• Internet protocols
• Skype protocol
• Deep packet inspection
• Voice over IP
• BitTorrent protocol encryption
• Transmission Control Protocol